\begin{tabbing}
fpf{-}ap(\=fpf{-}join(\=id{-}deq;\+\+
\\[0ex]fpf{-}single(mkid\{x1:ut2\}; int\_seg(0; 3));
\\[0ex]fpf{-}join(\=id{-}deq;\+
\\[0ex]fpf{-}single(mkid\{v1:ut2\}; int\_seg(0; 3));
\\[0ex]fpf{-}join(\=id{-}deq;\+
\\[0ex]fpf{-}single(mkid\{win:ut2\}; $\mathbb{Z}$);
\\[0ex]fpf{-}join(\=id{-}deq;\+
\\[0ex]fpf{-}single(mkid\{x2:ut2\}; int\_seg(0; 3));
\\[0ex]fpf{-}single(mkid\{v2:ut2\}; int\_seg(0; 3))))));
\-\-\-\-\\[0ex]id{-}deq;
\\[0ex]mkid\{v1:ut2\})
\-
\end{tabbing}